N=20;
H=[-97658823,-61259521,-24231398,-191810851,-154340717,-113382940,-191022786,-194678062,-193006628,-213416805,0,35195790,44424290,41911445,68751244,80097181,108878213,133616761,135226113,149662320];
X0=147553777;
M=20;
S=[8,20,20,18,2,5,5,14,10,1,9,1,13,3,14,15,2,4,2,10];
X=[12168345,219401286,990230507,280671613,33039102,265419462,1000000000,159639373,99825467,100236350,80123946,7904607,570822857,21317758,64041146,842647267,264796426,94808353,14750374,1264772];